Operational calculus - PDFSEARCH.IO - Document Search Engine

Operational calculus
Results: 39

#	Item
11	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
12	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
13	Microsoft PowerPoint - Algebra Unifies Operational Calculi Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 04:35:20 Applied mathematics Lambda calculus Process calculi Computer science Theoretical computer science Process calculus Mathematics
14	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
15	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
16	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
17	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic
18	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
19	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming
20	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory